TAGs: subtracting mixed numbers